Cláusula de Horn

Las cláusulas de Horn (instrucciones ejecutables de PROLOG) tienen el siguiente aspecto:    hija (*A, *B) <- mujer (*A), padre (*B, *A). que podría leerse así: "A es hija de B si A es mujer y B es padre de A". Obsérvese que, en PROLOG, el símbolo <- separa la conclusión de las condiciones. En PROLOG, las variables se escriben comenzando con un asterisco. Todas las condiciones deben cumplirse simultáneamente para que la conclusión sea válida. Por tanto, la coma que separa las distintas condiciones es equivalente a la conjunción copulativa (en algunas versiones de PROLOG se sustituye la coma por el símbolo &). La disyunción, en cambio, no se representa mediante símbolos especiales, sino definiendo reglas nuevas, como la siguiente:    hija (*A, *B) <- mujer (*A), madre (*B, *A). que podría leerse así: "A es hija de B si A es mujer y B es madre de A".

Enciclopedia Universal. 2012.

Mira otros diccionarios:

  • Cláusula de Horn — En lógica proposicional, una fórmula lógica es una cláusula de Horn si es una cláusula (disyunción de literales) con, como máximo, un literal positivo. Se llaman así por el lógico Alfred Horn, el primero en señalar la importancia de estas… …   Wikipedia Español

  • Cláusula — El término cláusula puede referirse a: En música: Cláusula En lingüística: Cláusula sintáctica En lógica: Cláusula Cláusula de Horn En derecho: Cláusula penal Cláusula de exclusión Cláusula de revisión salarial Cláusula sobre Protección… …   Wikipedia Español

  • Cláusula (lógica) — En lógica matemática, una cláusula es una disyunción de literales. En cálculo proposicional, normalmente se escriben de la forma: donde cada li, con i = {1,...,n} es un literal. Análogamente, se llama cláusula conjuntiva a una conjunción de… …   Wikipedia Español

  • Kernel Language 1 — o KL1 es un lenguaje de programación desarrollado en 1987 por el Institute for New Generation Computer Technology (Instituto para la Nueva Generación de Tecnologías de Computación, o ICOT por su siglas en inglés) en el marco del proyecto japonés… …   Wikipedia Español

  • Wihtred de Kent — Wihtred Rey de Kent Reinado c. 690 23 de abril de 725 Nacimiento …   Wikipedia Español

  • Cuerpo de Marines de los Estados Unidos — Para otros usos de este término, véase Marine. Cuerpo de Marines de los Estados Unidos United States Marine Corps Sello del Cuerpo de Marines …   Wikipedia Español

  • Geschichte der Stadt Bremen — Bremer Stadtwappen aus dem Jahr 1562 Die Geschichte der Freien Hansestadt Bremen ist von der Hanse, vom Handel und der Seefahrt sowie vom Streben nach Selbständigkeit geprägt. Inhaltsverzeichnis …   Deutsch Wikipedia

  • music, Western — Introduction       history of Western music from ancient times to the present.       All ancient civilizations entered historical times with a flourishing musical culture. That the earliest writers explained it in terms of legend and myth is… …   Universalium

  • Siux — Saltar a navegación, búsqueda Sioux (o siux) Nube Roja (sentado con tocado de plumas), junto a otros siux Población total …   Wikipedia Español

  • Sioux — Nube Roja (sentado con tocado de plumas), junto a otros siux Población total más de 150.000[1 …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.